You are here: irt.org | FOLDOC | Extended ML
A language by Don Sannella of the University of Edinburgh combining algebraic specification and functional programming.
["Program Specification and Development in Standard ML", D. Sannella et al, 12th POPL, ACM 1985].
(1994-12-12)
Nearby terms: extended memory « extended memory manager « Extended Memory Specification « Extended ML » Extended Pascal » Extended Self-containing Prolog » Extended System Configuration Data
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL